Dependent type - PDFSEARCH.IO - Document Search Engine

Dependent type
Results: 326

#	Item
131	Fundamenta Informaticae XX[removed]–31 1 IOS Press Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2010-07-20 09:14:49 Type theory Data types Functional programming Functional languages Dependently typed programming Dependent type Lock Generalized algebraic data type Concurrent computing Computing Software engineering Programming language theory
132	Programming and Reasoning with Algebraic Effects and Dependent Types Edwin C. Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed] Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2013-03-29 05:54:16 Functional programming Control flow Procedural programming languages Subroutines Recursion Monad Eval Type system List comprehension Computing Software engineering Computer programming
133	Chapter 29 Lightweight Invariants with Full Dependent Types Edwin Brady1 , Christoph Herrmann1 , Kevin Hammond1 Category: Position Paper Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2008-06-27 08:41:28 Functional programming Append Sort Quicksort Monad Partition Category Polymorphism Algebraic data type Software engineering Declarative programming Computing
134	Microsoft Word - Classen_OPedMedJ Add to Reading List Source URL: www.vaccines.net Language: English - Date: 2008-02-24 21:01:25 Vaccination Vaccination schedule Hepatitis B vaccine Insulin-dependent diabetes mellitus Diabetes mellitus type 1 Pertussis MMR vaccine Diabetes mellitus Bacillus Calmette-Guérin Medicine Health Vaccines
135	Implementing Dependent Types in Haskell Andres L¨ oh1 joint work with Conor McBride2 and Wouter Swierstra2 1 Universiteit 2 University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computer science Programming language theory Theory of computation Logic in computer science Models of computation System F Typed lambda calculus Simply typed lambda calculus Type system Theoretical computer science Lambda calculus Type theory
136	Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨ oteborg, Sweden {bove,peterd}@chalmers.se Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-04 09:56:00 Type theory Functional languages Lambda calculus Logic in computer science Theory of computation Agda Intuitionistic type theory Dependent type Typed lambda calculus Software engineering Programming language theory Theoretical computer science
137	WAEL BAHSOUN, University of Victoria Deterministic representation for position dependent random maps We give a deterministic skew-type representation for position dependent random maps and describe the structure of the s Add to Reading List Source URL: cms.math.ca - Date: 2006-07-08 22:16:19
138	Programming with Universes, Generically Andres Löh Well-Typed LLP 24 January 2012 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2012-01-27 05:29:58 Dependent type Equations Kirchhoff equations Linear discriminant analysis Physics Mathematics Type theory
139	Microsoft Word - Classen_OEndoJ Add to Reading List Source URL: www.vaccines.net Language: English - Date: 2008-04-03 18:37:40 Endocrine system Bacillus Calmette-Guérin Diabetes mellitus type 1 Diabetes mellitus Metabolic syndrome Insulin resistance Insulin-dependent diabetes mellitus Cortisol Autoimmunity Diabetes Medicine Health
140	Expanding the Universe Andres Löh with lots of inspiration from José Pedro Magalhães and Conor McBride 23 May 2011 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Functional languages Type theory Generic programming Data types Functional programming Agda Haskell Type class Dependent type Software engineering Computing Computer programming

UPDATE